Integrand size = 31, antiderivative size = 231 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=\frac {11}{256} a^3 (10 A+3 B) x-\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}+\frac {11 a^3 (10 A+3 B) \cos (c+d x) \sin (c+d x)}{256 d}+\frac {11 a^3 (10 A+3 B) \cos ^3(c+d x) \sin (c+d x)}{384 d}+\frac {11 a^3 (10 A+3 B) \cos ^5(c+d x) \sin (c+d x)}{480 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d} \]
[Out]
Time = 0.21 (sec) , antiderivative size = 231, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.161, Rules used = {2939, 2757, 2748, 2715, 8} \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=-\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3 \sin (c+d x)+a^3\right )}{720 d}+\frac {11 a^3 (10 A+3 B) \sin (c+d x) \cos ^5(c+d x)}{480 d}+\frac {11 a^3 (10 A+3 B) \sin (c+d x) \cos ^3(c+d x)}{384 d}+\frac {11 a^3 (10 A+3 B) \sin (c+d x) \cos (c+d x)}{256 d}+\frac {11}{256} a^3 x (10 A+3 B)-\frac {a (10 A+3 B) \cos ^7(c+d x) (a \sin (c+d x)+a)^2}{90 d}-\frac {B \cos ^7(c+d x) (a \sin (c+d x)+a)^3}{10 d} \]
[In]
[Out]
Rule 8
Rule 2715
Rule 2748
Rule 2757
Rule 2939
Rubi steps \begin{align*} \text {integral}& = -\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}+\frac {1}{10} (10 A+3 B) \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 \, dx \\ & = -\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}+\frac {1}{90} (11 a (10 A+3 B)) \int \cos ^6(c+d x) (a+a \sin (c+d x))^2 \, dx \\ & = -\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d}+\frac {1}{80} \left (11 a^2 (10 A+3 B)\right ) \int \cos ^6(c+d x) (a+a \sin (c+d x)) \, dx \\ & = -\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d}+\frac {1}{80} \left (11 a^3 (10 A+3 B)\right ) \int \cos ^6(c+d x) \, dx \\ & = -\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}+\frac {11 a^3 (10 A+3 B) \cos ^5(c+d x) \sin (c+d x)}{480 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d}+\frac {1}{96} \left (11 a^3 (10 A+3 B)\right ) \int \cos ^4(c+d x) \, dx \\ & = -\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}+\frac {11 a^3 (10 A+3 B) \cos ^3(c+d x) \sin (c+d x)}{384 d}+\frac {11 a^3 (10 A+3 B) \cos ^5(c+d x) \sin (c+d x)}{480 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d}+\frac {1}{128} \left (11 a^3 (10 A+3 B)\right ) \int \cos ^2(c+d x) \, dx \\ & = -\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}+\frac {11 a^3 (10 A+3 B) \cos (c+d x) \sin (c+d x)}{256 d}+\frac {11 a^3 (10 A+3 B) \cos ^3(c+d x) \sin (c+d x)}{384 d}+\frac {11 a^3 (10 A+3 B) \cos ^5(c+d x) \sin (c+d x)}{480 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d}+\frac {1}{256} \left (11 a^3 (10 A+3 B)\right ) \int 1 \, dx \\ & = \frac {11}{256} a^3 (10 A+3 B) x-\frac {11 a^3 (10 A+3 B) \cos ^7(c+d x)}{560 d}+\frac {11 a^3 (10 A+3 B) \cos (c+d x) \sin (c+d x)}{256 d}+\frac {11 a^3 (10 A+3 B) \cos ^3(c+d x) \sin (c+d x)}{384 d}+\frac {11 a^3 (10 A+3 B) \cos ^5(c+d x) \sin (c+d x)}{480 d}-\frac {a (10 A+3 B) \cos ^7(c+d x) (a+a \sin (c+d x))^2}{90 d}-\frac {B \cos ^7(c+d x) (a+a \sin (c+d x))^3}{10 d}-\frac {11 (10 A+3 B) \cos ^7(c+d x) \left (a^3+a^3 \sin (c+d x)\right )}{720 d} \\ \end{align*}
Time = 4.39 (sec) , antiderivative size = 238, normalized size of antiderivative = 1.03 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=-\frac {a^3 \cos (c+d x) \left (47800 A+28200 B+\frac {27720 (10 A+3 B) \arcsin \left (\frac {\sqrt {1-\sin (c+d x)}}{\sqrt {2}}\right )}{\sqrt {\cos ^2(c+d x)}}+320 (221 A+123 B) \cos (2 (c+d x))+160 (167 A+69 B) \cos (4 (c+d x))+3520 A \cos (6 (c+d x))-960 B \cos (6 (c+d x))-280 A \cos (8 (c+d x))-840 B \cos (8 (c+d x))-161490 A \sin (c+d x)-40131 B \sin (c+d x)-19950 A \sin (3 (c+d x))+8631 B \sin (3 (c+d x))+4830 A \sin (5 (c+d x))+9009 B \sin (5 (c+d x))+1890 A \sin (7 (c+d x))+1701 B \sin (7 (c+d x))-126 B \sin (9 (c+d x))\right )}{322560 d} \]
[In]
[Out]
Time = 1.73 (sec) , antiderivative size = 186, normalized size of antiderivative = 0.81
method | result | size |
parallelrisch | \(-\frac {9 a^{3} \left (\left (\frac {812 A}{27}+\frac {140 B}{9}\right ) \cos \left (3 d x +3 c \right )+\left (\frac {28 A}{3}+\frac {28 B}{9}\right ) \cos \left (5 d x +5 c \right )+\left (A -\frac {5 B}{9}\right ) \cos \left (7 d x +7 c \right )+\left (-\frac {7 A}{81}-\frac {7 B}{27}\right ) \cos \left (9 d x +9 c \right )+\left (-56 A -\frac {175 B}{18}\right ) \sin \left (2 d x +2 c \right )+\left (-\frac {14 A}{3}+\frac {49 B}{9}\right ) \sin \left (4 d x +4 c \right )+\left (\frac {56 A}{27}+\frac {119 B}{36}\right ) \sin \left (6 d x +6 c \right )+\left (\frac {7 A}{12}+\frac {35 B}{72}\right ) \sin \left (8 d x +8 c \right )-\frac {7 B \sin \left (10 d x +10 c \right )}{180}+\left (\frac {154 A}{3}+\frac {266 B}{9}\right ) \cos \left (d x +c \right )-\frac {770 d x A}{9}-\frac {77 d x B}{3}+\frac {7424 A}{81}+\frac {1280 B}{27}\right )}{1792 d}\) | \(186\) |
risch | \(\frac {55 a^{3} x A}{128}+\frac {33 a^{3} B x}{256}-\frac {33 A \,a^{3} \cos \left (d x +c \right )}{128 d}-\frac {19 a^{3} \cos \left (d x +c \right ) B}{128 d}+\frac {B \,a^{3} \sin \left (10 d x +10 c \right )}{5120 d}+\frac {a^{3} \cos \left (9 d x +9 c \right ) A}{2304 d}+\frac {a^{3} \cos \left (9 d x +9 c \right ) B}{768 d}-\frac {3 \sin \left (8 d x +8 c \right ) A \,a^{3}}{1024 d}-\frac {5 \sin \left (8 d x +8 c \right ) B \,a^{3}}{2048 d}-\frac {9 a^{3} \cos \left (7 d x +7 c \right ) A}{1792 d}+\frac {5 a^{3} \cos \left (7 d x +7 c \right ) B}{1792 d}-\frac {\sin \left (6 d x +6 c \right ) A \,a^{3}}{96 d}-\frac {17 \sin \left (6 d x +6 c \right ) B \,a^{3}}{1024 d}-\frac {3 a^{3} \cos \left (5 d x +5 c \right ) A}{64 d}-\frac {a^{3} \cos \left (5 d x +5 c \right ) B}{64 d}+\frac {3 \sin \left (4 d x +4 c \right ) A \,a^{3}}{128 d}-\frac {7 \sin \left (4 d x +4 c \right ) B \,a^{3}}{256 d}-\frac {29 a^{3} \cos \left (3 d x +3 c \right ) A}{192 d}-\frac {5 a^{3} \cos \left (3 d x +3 c \right ) B}{64 d}+\frac {9 \sin \left (2 d x +2 c \right ) A \,a^{3}}{32 d}+\frac {25 \sin \left (2 d x +2 c \right ) B \,a^{3}}{512 d}\) | \(352\) |
derivativedivides | \(\frac {A \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \left (\sin ^{2}\left (d x +c \right )\right )}{9}-\frac {2 \left (\cos ^{7}\left (d x +c \right )\right )}{63}\right )+B \,a^{3} \left (-\frac {\left (\sin ^{3}\left (d x +c \right )\right ) \left (\cos ^{7}\left (d x +c \right )\right )}{10}-\frac {3 \left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{80}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{160}+\frac {3 d x}{256}+\frac {3 c}{256}\right )+3 A \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{8}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{48}+\frac {5 d x}{128}+\frac {5 c}{128}\right )+3 B \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \left (\sin ^{2}\left (d x +c \right )\right )}{9}-\frac {2 \left (\cos ^{7}\left (d x +c \right )\right )}{63}\right )-\frac {3 A \,a^{3} \left (\cos ^{7}\left (d x +c \right )\right )}{7}+3 B \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{8}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{48}+\frac {5 d x}{128}+\frac {5 c}{128}\right )+A \,a^{3} \left (\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{6}+\frac {5 d x}{16}+\frac {5 c}{16}\right )-\frac {B \,a^{3} \left (\cos ^{7}\left (d x +c \right )\right )}{7}}{d}\) | \(363\) |
default | \(\frac {A \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \left (\sin ^{2}\left (d x +c \right )\right )}{9}-\frac {2 \left (\cos ^{7}\left (d x +c \right )\right )}{63}\right )+B \,a^{3} \left (-\frac {\left (\sin ^{3}\left (d x +c \right )\right ) \left (\cos ^{7}\left (d x +c \right )\right )}{10}-\frac {3 \left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{80}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{160}+\frac {3 d x}{256}+\frac {3 c}{256}\right )+3 A \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{8}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{48}+\frac {5 d x}{128}+\frac {5 c}{128}\right )+3 B \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \left (\sin ^{2}\left (d x +c \right )\right )}{9}-\frac {2 \left (\cos ^{7}\left (d x +c \right )\right )}{63}\right )-\frac {3 A \,a^{3} \left (\cos ^{7}\left (d x +c \right )\right )}{7}+3 B \,a^{3} \left (-\frac {\left (\cos ^{7}\left (d x +c \right )\right ) \sin \left (d x +c \right )}{8}+\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{48}+\frac {5 d x}{128}+\frac {5 c}{128}\right )+A \,a^{3} \left (\frac {\left (\cos ^{5}\left (d x +c \right )+\frac {5 \left (\cos ^{3}\left (d x +c \right )\right )}{4}+\frac {15 \cos \left (d x +c \right )}{8}\right ) \sin \left (d x +c \right )}{6}+\frac {5 d x}{16}+\frac {5 c}{16}\right )-\frac {B \,a^{3} \left (\cos ^{7}\left (d x +c \right )\right )}{7}}{d}\) | \(363\) |
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 155, normalized size of antiderivative = 0.67 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=\frac {8960 \, {\left (A + 3 \, B\right )} a^{3} \cos \left (d x + c\right )^{9} - 46080 \, {\left (A + B\right )} a^{3} \cos \left (d x + c\right )^{7} + 3465 \, {\left (10 \, A + 3 \, B\right )} a^{3} d x + 21 \, {\left (384 \, B a^{3} \cos \left (d x + c\right )^{9} - 48 \, {\left (30 \, A + 41 \, B\right )} a^{3} \cos \left (d x + c\right )^{7} + 88 \, {\left (10 \, A + 3 \, B\right )} a^{3} \cos \left (d x + c\right )^{5} + 110 \, {\left (10 \, A + 3 \, B\right )} a^{3} \cos \left (d x + c\right )^{3} + 165 \, {\left (10 \, A + 3 \, B\right )} a^{3} \cos \left (d x + c\right )\right )} \sin \left (d x + c\right )}{80640 \, d} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 1042 vs. \(2 (219) = 438\).
Time = 1.35 (sec) , antiderivative size = 1042, normalized size of antiderivative = 4.51 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=\text {Too large to display} \]
[In]
[Out]
none
Time = 0.22 (sec) , antiderivative size = 284, normalized size of antiderivative = 1.23 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=-\frac {276480 \, A a^{3} \cos \left (d x + c\right )^{7} + 92160 \, B a^{3} \cos \left (d x + c\right )^{7} - 10240 \, {\left (7 \, \cos \left (d x + c\right )^{9} - 9 \, \cos \left (d x + c\right )^{7}\right )} A a^{3} - 630 \, {\left (64 \, \sin \left (2 \, d x + 2 \, c\right )^{3} + 120 \, d x + 120 \, c - 3 \, \sin \left (8 \, d x + 8 \, c\right ) - 24 \, \sin \left (4 \, d x + 4 \, c\right )\right )} A a^{3} + 3360 \, {\left (4 \, \sin \left (2 \, d x + 2 \, c\right )^{3} - 60 \, d x - 60 \, c - 9 \, \sin \left (4 \, d x + 4 \, c\right ) - 48 \, \sin \left (2 \, d x + 2 \, c\right )\right )} A a^{3} - 30720 \, {\left (7 \, \cos \left (d x + c\right )^{9} - 9 \, \cos \left (d x + c\right )^{7}\right )} B a^{3} - 63 \, {\left (32 \, \sin \left (2 \, d x + 2 \, c\right )^{5} + 120 \, d x + 120 \, c + 5 \, \sin \left (8 \, d x + 8 \, c\right ) - 40 \, \sin \left (4 \, d x + 4 \, c\right )\right )} B a^{3} - 630 \, {\left (64 \, \sin \left (2 \, d x + 2 \, c\right )^{3} + 120 \, d x + 120 \, c - 3 \, \sin \left (8 \, d x + 8 \, c\right ) - 24 \, \sin \left (4 \, d x + 4 \, c\right )\right )} B a^{3}}{645120 \, d} \]
[In]
[Out]
none
Time = 0.54 (sec) , antiderivative size = 273, normalized size of antiderivative = 1.18 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=\frac {B a^{3} \sin \left (10 \, d x + 10 \, c\right )}{5120 \, d} + \frac {11}{256} \, {\left (10 \, A a^{3} + 3 \, B a^{3}\right )} x + \frac {{\left (A a^{3} + 3 \, B a^{3}\right )} \cos \left (9 \, d x + 9 \, c\right )}{2304 \, d} - \frac {{\left (9 \, A a^{3} - 5 \, B a^{3}\right )} \cos \left (7 \, d x + 7 \, c\right )}{1792 \, d} - \frac {{\left (3 \, A a^{3} + B a^{3}\right )} \cos \left (5 \, d x + 5 \, c\right )}{64 \, d} - \frac {{\left (29 \, A a^{3} + 15 \, B a^{3}\right )} \cos \left (3 \, d x + 3 \, c\right )}{192 \, d} - \frac {{\left (33 \, A a^{3} + 19 \, B a^{3}\right )} \cos \left (d x + c\right )}{128 \, d} - \frac {{\left (6 \, A a^{3} + 5 \, B a^{3}\right )} \sin \left (8 \, d x + 8 \, c\right )}{2048 \, d} - \frac {{\left (32 \, A a^{3} + 51 \, B a^{3}\right )} \sin \left (6 \, d x + 6 \, c\right )}{3072 \, d} + \frac {{\left (6 \, A a^{3} - 7 \, B a^{3}\right )} \sin \left (4 \, d x + 4 \, c\right )}{256 \, d} + \frac {{\left (144 \, A a^{3} + 25 \, B a^{3}\right )} \sin \left (2 \, d x + 2 \, c\right )}{512 \, d} \]
[In]
[Out]
Time = 11.39 (sec) , antiderivative size = 711, normalized size of antiderivative = 3.08 \[ \int \cos ^6(c+d x) (a+a \sin (c+d x))^3 (A+B \sin (c+d x)) \, dx=\text {Too large to display} \]
[In]
[Out]